first-order recursive program

[计] 一阶递归程序